Oscillating carbon nanotori along carbon nanotubes

The discovery of carbon nanostructures, such as nanotubes and C₆₀ fullerenes, has given rise to a number of potential nanoscale devices. One such device is the gigahertz oscillator, comprising an inner shell sliding inside an outer shell of a multiwalled carbon nanotube, and which, at least theoretically, generates oscillatory frequencies in the gigahertz range. Following the concept of these gigahertz oscillators and the recent discovery of “fullerene crop circles,” here we propose the notion of a nanotorus-nanotube oscillator comprising a carbon nanotorus which is sucked by the van der Waals force onto the carbon nanotube, and subsequently oscillates along the nanotube axis due to the equal and opposite pulselike forces acting at either end of the nanotube. Assuming a continuum approach, where the interatomic interactions are replaced by uniform atomic surface densities, and assuming that the geometry of the nanotube and nanotorus is such that the nanotorus always remains symmetrically situated around the nanotube, we present the basic mechanics of such a system, including the determination of the suction and acceptance energies, and the frequency of the resulting oscillatory motion. In contrast to the previously studied gigahertz nanoscale oscillators, here the oscillatory frequencies are shown to be in the megahertz range. Our study, although purely theoretical must necessarily precede any experimental implementation of such oscillatory systems.Tamsyn A. Hilder and James M. Hil

Morphology control in polymerized high internal phase emulsion templated via macro-RAFT agent composition: visualizing surface chemistry

A series of polymerized high internal phase emulsion (polyHIPE) materials have been prepared by using a water in oil emulsion stabilized by a macro-RAFT agent, 2-(butylthiocarbonothioylthio)-2-poly(styrene)-b-poly(acrylic acid), acting as a polymeric surfactant. The pore structures of the formed polyHIPEs were closed. By removing the RAFT-endgroup of the amphiphilic macro-RAFT agent, the obtained polyHIPEs possessed an open structure with voids. The effect of the RAFT-endgroup of the amphiphilic macro-RAFT agent on the surface chemistry of the polyHIPEs is discussed. The obtained polyHIPEs via this surfactant-assisted functionalization strategies were characterized by FTIR spectroscopy, FTIR mapping, SEM, SEM-EDX, TEM, XPS as well as synchrotron-based scanning transmission X-ray microscopy (STXM). The latter technique revealed the surface chemistry of the obtained polyHIPEs and macro-RAFT agent multicomponents with a surface spatial resolution of the order of 30–100 nm.A. Khodabandeh, R. D. Arrua, B. R. Coad, T. Rodemann, T. Ohigashi, N. Kosugi, S. C. Thickett and E. F. Hilde

The 'law of requisite variety' may assist climate change negotiations:a review of the Kyoto and Durban meetings

Ashby wrote about cybernetics, during which discourse he described a Law that attempts to resolve difficulties arising in complex situations – he suggested using variety to combat complexity. In this paper, we note that the delegates to the UN Framework Convention on Climate Change (UNFCCC) meeting in Kyoto, 1997, were offered a ‘simplifying solution’ to cope with the complexity of discussing multiple pollutants allegedly contributing to ‘climate change’. We assert that the adoption of CO2eq has resulted in imprecise thinking regarding the ‘carbon footprint’ – that is, ‘CO2’ – to the exclusion of other pollutants. We propose, as Ashby might have done, that the CO2eq and other factors within the ‘climate change’ negotiations be disaggregated to allow careful and specific individual solutions to be agreed on each factor. We propose a new permanent and transparent ‘action group’ be in charge of agenda setting and to manage the messy annual meetings. This body would be responsible for achieving accords at these annual meetings, rather than forcing this task on national hosts. We acknowledge the task is daunting and we recommend moving on from Ashby's Law to Beer's Viable Systems approach

Automating Verification of State Machines with Reactive Designs and Isabelle/UTP

State-machine based notations are ubiquitous in the description of component systems, particularly in the robotic domain. To ensure these systems are safe and predictable, formal verification techniques are important, and can be cost-effective if they are both automated and scalable. In this paper, we present a verification approach for a diagrammatic state machine language that utilises theorem proving and a denotational semantics based on Unifying Theories of Programming (UTP). We provide the necessary theory to underpin state machines (including induction theorems for iterative processes), mechanise an action language for states and transitions, and use these to formalise the semantics. We then describe the verification approach, which supports infinite state systems, and exemplify it with a fully automated deadlock-freedom check. The work has been mechanised in our proof tool, Isabelle/UTP, and so also illustrates the use of UTP to build practical verification tools.Comment: 18 pages, 16th Intl. Conf. on Formal Aspects of Component Software (FACS 2018), October 2018, Pohang, South Kore

The decline and rise of neighbourhoods: the importance of neighbourhood governance

There is a substantial literature on the explanation of neighbourhood change. Most of this literature concentrates on identifying factors and developments behind processes of decline. This paper reviews the literature, focusing on the identification of patterns of neighbourhood change, and argues that the concept of neighbourhood governance is a missing link in attempts to explain these patterns. Including neighbourhood governance in the explanations of neighbourhood change and decline will produce better explanatory models and, finally, a better view about what is actually steering neighbourhood change

Tomato: a crop species amenable to improvement by cellular and molecular methods

Tomato is a crop plant with a relatively small DNA content per haploid genome and a well developed genetics. Plant regeneration from explants and protoplasts is feasable which led to the development of efficient transformation procedures. In view of the current data, the isolation of useful mutants at the cellular level probably will be of limited value in the genetic improvement of tomato. Protoplast fusion may lead to novel combinations of organelle and nuclear DNA (cybrids), whereas this technique also provides a means of introducing genetic information from alien species into tomato. Important developments have come from molecular approaches. Following the construction of an RFLP map, these RFLP markers can be used in tomato to tag quantitative traits bred in from related species. Both RFLP's and transposons are in the process of being used to clone desired genes for which no gene products are known. Cloned genes can be introduced and potentially improve specific properties of tomato especially those controlled by single genes. Recent results suggest that, in principle, phenotypic mutants can be created for cloned and characterized genes and will prove their value in further improving the cultivated tomato.

Deep reinforcement learning for drone navigation using sensor data

Mobile robots such as unmanned aerial vehicles (drones) can be used for surveillance, monitoring and data collection in buildings, infrastructure and environments. The importance of accurate and multifaceted monitoring is well known to identify problems early and prevent them escalating. This motivates the need for flexible, autonomous and powerful decision-making mobile robots. These systems need to be able to learn through fusing data from multiple sources. Until very recently, they have been task specific. In this paper, we describe a generic navigation algorithm that uses data from sensors on-board the drone to guide the drone to the site of the problem. In hazardous and safety-critical situations, locating problems accurately and rapidly is vital. We use the proximal policy optimisation deep reinforcement learning algorithm coupled with incremental curriculum learning and long short-term memory neural networks to implement our generic and adaptable navigation algorithm. We evaluate different configurations against a heuristic technique to demonstrate its accuracy and efficiency. Finally, we consider how safety of the drone could be assured by assessing how safely the drone would perform using our navigation algorithm in real-world scenarios

IT controls in the public cloud : success factors for allocation of roles and responsibilities

The rapid adoption of cloud computing by organizations has resulted in the transformation of the roles and responsibilities of staff in managing the information technology (IT) resources (via IT governance controls) that have migrated to the cloud. Hence, the objective of this research is to provide a set of success factors that can assist IT managers to allocate the roles and responsibilities of IT controls appropriately to staff to manage the migrated IT resources. Accordingly, we generated a set of success factors from behavioral and information systems (IS) literature. These success factors were verified using in-depth interviews of executives from the United Arab Emirates (UAE). The empirical intervention suggests that the role allocation is driven predominantly by people’s skills, competencies, organizational strategy, structures, and policies. In addition, the research made clear that the most significant competency and skill for a person allocated to IT controls is to be able to evaluate and manage a cloud service provider, especially in terms of risks, compliance, and security issues related to public cloud technology. The findings of this study not only offer new insights for scholars and practitioners involved in assigning responsibilities but also provide extensions for IT governance framework authorities to align their guidelines to the emerging cloud technology

Transgenic avidin maize is resistant to storage insect pests

Avidin is a glycoprotein found in chicken egg white, that sequesters the vitamin biotin. Here we show that when present in maize at levels of ≥100 p.p.m., avidin is toxic to and prevents development of insects that damage grains during storage. Insect toxicity is caused by a biotin deficiency, as shown by prevention of toxicity with biotin supplementation. The avidin maize is not, however, toxic to mice when administered as the sole component of their diet for 21 days. These data suggest that avidin expression in food or feed grain crops can be used as a biopesticide against a spectrum of stored-product insect pests

Mild Electrical Stimulation with Heat Shock Ameliorates Insulin Resistance via Enhanced Insulin Signaling

Low-intensity electrical current (or mild electrical stimulation; MES) influences signal transduction and activates phosphatidylinositol-3 kinase (PI3K)/Akt pathway. Because insulin resistance is characterized by a marked reduction in insulin-stimulated PI3K-mediated activation of Akt, we asked whether MES could increase Akt phosphorylation and ameliorate insulin resistance. In addition, it was also previously reported that heat shock protein 72 (Hsp72) alleviates hyperglycemia. Thus, we applied MES in combination with heat shock (HS) to in vitro and in vivo models of insulin resistance. Here we show that 10-min treatment with MES at 5 V (0.1 ms pulse duration) together with HS at 42°C increased the phosphorylation of insulin signaling molecules such as insulin receptor substrate (IRS) and Akt in HepG2 cells maintained in high-glucose medium. MES (12 V)+mild HS treatment of high fat-fed mice also increased the phosphorylation of insulin receptor β subunit (IRβ) and Akt in mice liver. In high fat-fed mice and db/db mice, MES+HS treatment for 10 min applied twice a week for 12–15 weeks significantly decreased fasting blood glucose and insulin levels and improved insulin sensitivity. The treated mice showed significantly lower weight of visceral and subcutaneous fat, a markedly improved fatty liver and decreased size of adipocytes. Our findings indicated that the combination of MES and HS alleviated insulin resistance and improved fat metabolism in diabetes mouse models, in part, by enhancing the insulin signaling pathway